<?php

interface HTMLElements  {
	public function toString ();
}

?>